automated program verifier
自动化程式验证器
热门查询
- sluggishly adv. 懒怠地；慢吞吞地
- Fergusson [人名] [苏格兰人、爱尔兰人姓氏] 弗格森取自父名，来源于Fergus,含义是“弗格斯之子”(son of Fergus)
- gx [医][=gibberellic acid]赤霉酸
- Coyle [人名] [苏格兰人、爱尔兰人姓氏] 科伊尔 Cole的变体
- gallic n. (Gallic)人名；(法)加利克 adj. 五倍子的；镓的，瘿的；法国人的
- prostate n. [解剖] 前列腺 adj. 前列腺的
- dissenting adj. 不同意的（等于dissentient） v. 不同意；持异议（dissent的ing形式）
- squid n. 鱿鱼；乌贼；枪乌贼
- Basle n. 巴塞尔(瑞士西北部城市,在莱茵河畔)
- pedometer n. 步程计，步数计
- setting n. 环境；安装；布置；[天] 沉落 v. 放置；沉没；使…处于某位置（set的ing形式）
- tarragon n. 龙嵩叶（可做调味香料）；龙蒿（艾的一种） n. (Tarragon)人名；(法、西)塔拉贡
- sensitization n. 敏化作用；促进感受性；感光度之增强
- axial adj. 轴的；轴向的 n. (Axial)人名；(法)阿克西亚尔
- bioengineered 生物工程（改造）的
- emphatically adv. 着重地；强调地；断然地
- bending n. 弯曲度 v. 弯曲（bend的ing形式）
- truncation n. 截断；切掉顶端
- gynecologist n. 妇科医生
- tanka n. 短歌（日本三十一音节的诗体） n. (Tanka)人名；(塞、尼、匈)坦卡
